Basics

??=[basics] This section explains the -diagram construction concepts needed to get started with typesetting category theory diagrams.